Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
391	PDF Document Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2007-06-19 07:36:16 Proof theory Philosophical logic Metalogic Noncommutative logic Linear logic Entailment Natural deduction Jean-Yves Girard Proof net Logic Substructural logic Deduction
392	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2005-07-20 17:21:01 Propositional calculus Quantification Metalogic Logical syntax Function Navantia Natural deduction Universal quantification Model theory Logic Mathematical logic Mathematics
393	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2008-01-07 09:35:14 Philosophical logic Proof theory Analytic philosophers Begriffsschrift Gottlob Frege Quantification Natural deduction Modus ponens Ancestral relation Logic Analytic philosophy Philosophy
394	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:32:52 Proof theory Model theory Logic in computer science Automated theorem proving Metalogic Curry–Howard correspondence Natural deduction Admissible rule Sequent calculus Logic Mathematical logic Mathematics
395	PDF Document Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2006-10-25 07:16:45 Predicate logic Proof theory Formal systems Metalogic First-order logic Natural deduction Well-formed formula Axiom FO Logic Mathematical logic Mathematics
396	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:36:39 Automated theorem proving Logic programming Unification Sheaf Admissible rule Lambda calculus Natural deduction Envelope Mathematical logic Mathematics Logic
397	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics
398	PDF Document Add to Reading List Source URL: groups.csail.mit.edu Language: English Computer science Formal methods Type systems Algorithms Hindley–Milner Unification Lambda calculus Natural deduction Heat equation Theoretical computer science Applied mathematics Type theory
399	PDF Document Add to Reading List Source URL: pdg.lbl.gov Language: English - Date: 2010-10-13 19:10:52 Natural deduction CLEO Valuation Symbol
400	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-12-29 03:26:05 Software engineering Generalized algebraic data type Type system Type inference Entailment Type safety Natural deduction Symbol Type theory Logic Programming language theory